1. Modeling and verification of real-time systems
پدیدآورنده : edited by Nicolas Navet, Stephan Merz
موضوع : Real-time data processing,Computer software- Verification,Formal methods (Computer science)
۳ نسخه از این کتاب در ۱ کتابخانه موجود است.
2. Modeling and verification of real-time systems
پدیدآورنده: / edited by Nicolas Navet, Stephan Merz
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Real-time data processing,Computer software -- Verification,Formal methods (computer science)
رده :
QA
76
.
54
.
M635
2008
3. Modeling and verification of real-time systems :formalisms and software tools
پدیدآورنده: edited by Nicolas Navet, Stephan Merz
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Real-time data processing,Verification ، Computer software,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M635
2008
4. Modeling and verification of real-time systems: formalisms and software tools
پدیدآورنده: edited by Nicolas Navet, Stephan Merz
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Real-time data processing,Verification ، Computer software,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M635
2008
5. Modeling and verification of real-time systems: formalisms and software tools
پدیدآورنده: edited by Nicolas Navet, Stephan Merz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Real-time data processing,Verification ، Computer software,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M635
6. Modeling and verification of real-time systems : formalisms and software tools
پدیدآورنده: edited by Stephan Merz, Nicolas Navet
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Real-time data processing,، Computer software -- Verification,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M633
7. Modeling and verification of real-time systems: formalisms and software tools
پدیدآورنده: edited by Nicolas Navet, Stephan Merz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، Real-time data processing,Verification ، Computer software,، Formal methods )Computer science(
رده :
QA
76
.
54
.
M635
2008
